Categorical Abstract Algebraic Logic: Partially Ordered Algebraic Systems
نویسندگان
چکیده
منابع مشابه
Categorical Abstract Algebraic Logic: Partially Ordered Algebraic Systems
An extension of parts of the theory of partially ordered varieties and quasivarieties, as presented by Paaasińska and Pigozzi in the framework of abstract algebraic logic, is developed in the more abstract framework of categorical abstract algebraic logic. Algebraic systems, as introduced in previous work by the author, play in this more abstract framework the role that universal algebras play ...
متن کاملCategorical Abstract Algebraic Logic: Ordered Equational Logic and Algebraizable PoVarieties
A syntactic apparatus is introduced for the study of the algebraic properties of classes of partially ordered algebraic systems (a.k.a. partially ordered functors (pofunctors)). A Birkhoff-style order HSP theorem and a Mal’cev-style order SLP theorem are proved for partially ordered varieties and partially ordered quasivarieties, respectively, of partially ordered algebraic systems based on thi...
متن کاملCategorical Abstract Algebraic Logic: (J, N)-Algebraic Systems
Algebraic systems play in the theory of algebraizability of π -institutions the role that algebras play in the theory of algebraizable sentential logics. In this same sense, I-algebraic systems are to a π -institution I what S-algebras are to a sentential logic S. More precisely, an (I, N)-algebraic system is the sentence functor reduct of an N ′-reduced (N,N ′)-full model of a π -institution I...
متن کاملCategorical Abstract Algebraic Logic: Equivalential
The theory of equivalential deductive systems, as introduced by Prucnal and Wroński and further developed by Czelakowski, is abstracted to cover the case of logical systems formalized as π-institutions. More precisely, the notion of an N-equivalence system for a given π-institution is introduced. A characterization theorem for N-equivalence systems, previously proven for N-parameterized equival...
متن کاملCategorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic
This paper deals with the algebraization of multi-signature equational logic in the context of the modern theory of categorical abstract algebraic logic. Two are the novelties compared to traditional treatments: First, interpretations between different algebraic types are handled in the object language rather than the metalanguage. Second, rather than constructing the type of the algebraizing c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Applied Categorical Structures
سال: 2006
ISSN: 0927-2852,1572-9095
DOI: 10.1007/s10485-005-9006-3